<?php
header('Content-type: text/cache-manifest');
session_start();
$cachefile = file_get_contents("cache.manifest");

if (!empty($_SESSION['force-update-cache'])) {
	$cachefile .= "\n# ".microtime();
	$_SESSION['force-update-cache'] = false;
}
echo $cachefile;
?>